Possibilistic Safe Beliefs

In the paper by Oscar Estrada et al. it is introduced the concept of “Possibilistic Intuitionistic Logic (PIL)”; In that paper, the authors present results analogous to those of the well-known intuitionistic logic, such as a Deduction Theorem, a Generalized version of the Deduction Theorem, a Cut Rule, a weak version of a Refutation Theorem, a Substitution Theorem and Glivenko’s Theorem. The concept of Safe Beliefs was introduced in the paper “Safe Beliefs for Propositional Theories” by Osorio et al. as an extension of the concept of Answer Set. In this paper, we present the analogous concept to Safe Beliefs: Possibilistic Safe Beliefs Candidate.